$a$ $\mid$ $b$ in $r$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$c$:$\mid$$r$$\mid$. (($c$ $\ast$ $a$) = $b$)